Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Licence : Pierre-Etienne Moreau, Responsible of the course “Introduction to Algorithms and Programming” (http://www.depinfonancy.net/s5/tcs13 ), first year at Mines-Nancy (150 students), Université de Lorraine, France

Supervision

• PhD in progress : Jean-Christophe BACH, "Transformation de modèles et certification", November 1st 2010, Pierre-Etienne Moreau

• PhD in progress : Amira HENAIEN, "Certification du raisonnement formel porté sur des systèmes d’information critiques.", November 1st 2010, Sorin Stratulat

Juries

Horatiu Cirstea:

• PhD committee of Henri Debrat, “Certification formelle de la correction d'algorithmes de Consensus”, Nancy 2013

Pierre-Etienne Moreau:

• PhD committee of Mathieu Giorgino, reviewer, Toulouse, 2013: “Inductive Representation, Proofs and Refinement of Pointer Structures”

• PhD committee of Clément Guy, reviewer, Rennes, 2013: “Facilités de typage pour l'ingénierie des langages”

• PhD committee of Pengfei Liu, reviewer, Bordeaux, 2013: “Intégration de politiques de sécurité dans des systèmes ubiquitaires”

• PhD committee of Laurent Wouters, Paris, 2013: “Multi-Domain Expert-User Modeling Infrastructure”